Từ điển kỹ thuật
- boolean logic
- luận lý: Từ điển kỹ thuậtbooleanbảng phép toán luận lýboolean operation tablebiểu thức luận lýboolean expressionđại số luận lýboolean algebragiá trị luận lýboolean valuehàm luận lýboolean functionkiểu luận l
- lý luận: verbto reason; to argueTừ điển kỹ thuậtarguelý luận nghiêng về...argue in favor of ...reasonreasoningtheoreticstheorylý luận không hình thứcinformal theorylý luận thông tininformation theoryCụm từch
- luận lý hoare: hoare logic
